121. Languages, compilers, and run-time systems for scalable computers : 5th International Workshop, LCR 2000, Rochester, NY, USA, May 2000 : selected papers
Author: Sandhya Dwarkadas )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(,Congresses ، Computer architecture
Classification :
QA
76
.
L28
Vol
.
1915
122. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
Author: Jack Davidson, Sang Lyul Min, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Embedded computer systems,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
1985
123. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
Author: ACM SIGPLAN Workshop LCTES 2000, Vancouver, 2000
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Embedded computer systems- Programming- Congresses ► Programming languages (Electronic computers)- Congresses ► Compilers (Computer programs)- Congresses
Classification :
005
A184l
124. Logic, language, and computation
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
125. Logic, language, and computation
Author: / Balder D. ten Cate, Henk W. Zeevat (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
Classification :
QA
,
76
.
9
,.
L63
,
I565
,
2005
126. Logic, language, and computation :
Author: Nick Bezhanishvili [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
Classification :
QA76
.
9
.
L63
I57
2009eb
127. Logic, language, and computation
Author: \ [edited by] Martin Aher...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبانشناسی کامپیوتری -- کنگره ها
Classification :
QA
75
.
5
.
L644
2015
E-Book
,
128. Logic program synthesis and transformation - meta-programming in logic :
Author: Laurent Fribourg, Franco Turini (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
129. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
Author: A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning
Classification :
QA
76
.
7
.
A285
2005
130. Machine oriented higher level languages
Author: / edited by W. L. van der Poel and L. A. Maarssen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
QA
76
.
I18
1973
131. Machine oriented higher level languages
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
76
.
I8
132. Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973
Author: IFIP Working Conference on Machine Oriented Higher Level Languages, 3791, Trondheim
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
I18
1973
133. Machines, languages, and complexity
Author: / 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computers -- Congresses,Programming languages (Electronic computers) -- Congresses,Computational complexity -- Congresses
Classification :
QA
76
.
5
.
I5773
1988
134. Machines, languages, and complexity
Author: International Meeting of Young Computer Scientists, )5th, 8891, Smolenice, Czechoslovakia(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computers-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computational complexity-- Congresses
Classification :
QA
76
.
5
.
I5773
1988
135. Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988
Author: Selected contributions, J. Dassow, J. Kelemen, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
381
136. Manipulation languages, Piss, 1966. Symbol manipulation languages and techniques. Proceedings of the IFIP Working conference on Symbol Manipulation Languages
Author: / edited by Daniel G. Bobrow
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Programming languages (Electronic computers) - Congresses
Classification :
001
.
6424
I11s
1966
137. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings
Author: edited by Austin Melton
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
239
138. Mathematical foundations of computer science
Author: edited by A. Blikle
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
267
.
5
.
S4
S89
1974
139. Mathematical foundations of computer science 1995
Author:
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory- Congresses,Formal languages- Congresses,Programming (Electronic computers)- Congresses
Classification :
QA267
.
M38
1995
140. Mathematical foundations of computer science 1986; Proceedings of the 12th symposium Bratislava, Czechoslovakia, August 25-29, 1986
Author: edited by J. Gruska
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L4
v
.
233
